xen/arm: Rename XEN_DOMCTL_CONFIG_GIC_DEFAULT to XEN_DOMCTL_CONFIG_GIC_NATIVE
authorJulien Grall <julien.grall@citrix.com>
Tue, 7 Jul 2015 16:22:32 +0000 (17:22 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 8 Jul 2015 09:53:42 +0000 (10:53 +0100)
commitee691876fd58455eff18eff6b31eb1aa4016d591
tree0f6b898867dd3393fdc78b9f5eb52390881b66b3
parent9cf879cebac7577b5a4986155bae134f31cb91a0
xen/arm: Rename XEN_DOMCTL_CONFIG_GIC_DEFAULT to XEN_DOMCTL_CONFIG_GIC_NATIVE

This will reflect that we effectively emulate the same version as the
hardware GIC for the guest.

Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
tools/libxc/xc_domain.c
tools/libxl/libxl_arm.c
xen/arch/arm/domain.c
xen/arch/arm/setup.c
xen/include/public/arch-arm.h